BNDES tem lucro recorde de R$12,9 bi no 1º tri, com venda de ações da JBS